home *** CD-ROM | disk | FTP | other *** search
- GIVEN FACTS Section
-
- Here you can review facts you have given THE EXPERT and also change those
- facts. When you eliminate or change a given fact, ALL derived facts will be
- re-evaluated. Note that the CURRENT fact is always the one most recently
- printed on the screen.
-
- MENU: Scan with PgUp, PgDn and press Enter OR press key for action. Tap
- spacebar to suppress menu temporarily, tap again to restore it.
-
- Down Arrow -- Move down the list of given facts currently in memory.
- Up Arrow -- Move up the list of given facts currently in memory.
- E -- Eliminate the CURRENT fact.
- R -- Change the truth value of the CURRENT fact. If true, it becomes
- false, and vice versa.
- C -- Erase the entire collection of given facts (and, of course, all
- derived facts as well).
- K -- Eliminate any don't-know responses you've given to questions. This
- may be necessary when you want to retry a query.
- U -- Simultaneously eliminate the entire collection of given facts AND
- all your don't-know responses.
- Left Arrow -- Go to Basic Input Section.
- Right Arrow -- Go to Derived Facts Section.
- M -- Go to Main Menu Section.
- H Help -- Show this screen.
- O Menus Off/On -- Suppress or restore automatic display of all menus.
- X Exit -- Go to Exit Section.